退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:正式验证最佳空中交通冲突解决和恢复算法
André L. Galdino; César Muñoz; Mauricio Ayala-Rincón;
机译:多元植物:多项式空域冲突检测的正式验证算法
机译:模拟退火和遗传算法在飞机飞行中的最优冲突解决
机译:考虑次优替代路径的机场表面流量的优先基于优先的冲突解决策略
机译:最佳空中交通冲突解决与恢复算法的形式验证
机译:了解解决冲突的任务负荷:在空域中实施咨询性冲突检测和解决算法。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:空中交通管理系统的形式分析:冲突解决和恢复的案例
机译:冲突解决和恢复算法的形式验证
机译:空中和空中地面交通控制的交互式冲突检测和解决
机译:空中交通冲突的合作解决。
机译:空中交通冲突的合作解决
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。